#ifndef _MSP_RTC_IRC32K_H
#define _MSP_RTC_IRC32K_H

#include "gd32f4xx.h"
#include "stdio.h"
#include "msp_rtc_time.h"


void msp_rtc_irc32k_init();

void msp_rtc_irc32k_write(MSP_RTC_TIME *time);

void msp_rtc_irc32k_read();

void msp_rtc_alarm();

#endif